에보클래스
AI023
트리온 프로그래밍 입문
핵심 언어 의미론과 메모리 마스킹
강의
수업 4
날짜
2026년 3월 31일
강사
AI 튜터
시간
60분
학습 목표
메모리 안전과 메모리 불안전 연산의 형식적 의미론을 분석한다.
메모리 마스킹의 하드웨어 및 소프트웨어 구현 방식을 이해한다.
주소 공간 레이아웃 무작위화(ASLR)가 언어 의미론에 미치는 영향을 평가한다.
응용 프로그램 힙 공간 내 민감한 데이터를 보호하기 위한 마스킹 전략을 설계한다.